假設自然類是實在的，亦即事物是自然成類的，那麼個別事物是由於什麼而使得它們分屬不同的自然類？自然類本質論認為個別事物是由於它們擁有不同的類本質而使得它們分屬不同的自然類。那麼類本質是什麼？除了微觀結構之外還有什麼自然性質可以作為類本質？或者我們必須承認有不可化約的類本質？相反地，恆定性質叢集論反對有類本質。它認為個別事物是由於它們擁有不同群的偶性而使得它們分屬不同的自然類，而同一群偶性基於個體的某個因果機制經常共同出現，但當中沒有任何單一偶性的擁有是屬於該群偶性所刻畫的自然類的必要條件。然而恆定性質叢集論真能不承認有類本質而又接受自然類是實在的嗎？另一方面，有些哲學家認為只有恆定性質叢集論能成功說明生物的分類。但本質論真的無法說明生物分類嗎？另外，有些哲學家主張生物類跟物理類化學類雖然都是實在的，但刻畫方式不同，有些哲學家主張生物分類的多元論，有些哲學家則否認生物界有自然類。我們將從形上學的進路來評估這些觀點。最後，本質論也被認為會蘊含因果必然性以及定律的形上學必然性。我們也將討論這些說法成不成立。